package plp.imperative1.command;

import plp.expressions2.expression.Expressao;
import plp.expressions2.expression.Id;
import plp.expressions2.expression.ValorBooleano;
import plp.imperative1.memory.AmbienteExecucaoImperativa;
import plp.imperative1.memory.AmbienteCompilacaoImperativa;
import plp.imperative1.memory.EntradaVaziaException;
import plp.expressions2.memory.IdentificadorJaDeclaradoException;
import plp.expressions2.memory.IdentificadorNaoDeclaradoException;

public class Synch implements Comando{

    private Id id;
    
    private Comando comando;
    
    public Synch(Id id, Comando comando){
        this.id  = id;
        this.comando = comando;
    }

    /**
     * Implementa o comando <code>while</code>.
     *
     * @param ambiente o ambiente de execu��o.
     *
     * @return o ambiente depois de modificado pela execu��o
     * do comando <code>while</code>.
     * @throws InterruptedException 
     *
     */
    public AmbienteExecucaoImperativa executar(AmbienteExecucaoImperativa ambiente)
        throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException, EntradaVaziaException, InterruptedException {
    	synchronized (ambiente.getMonitorVariavel(id)) {
			comando.executar(ambiente);
		}
        return ambiente;
    }
    
    /**
     * Realiza a verificacao de tipos da express�o e dos
     * comandos do comando <code>while</code>
     *
     * @param ambiente o ambiente de compila��o.
     * @return <code>true</code> se os comando s�o bem tipados;
     *          <code>false</code> caso contrario.
     */
    public boolean checaTipo(AmbienteCompilacaoImperativa ambiente) 
        throws IdentificadorJaDeclaradoException, IdentificadorNaoDeclaradoException, EntradaVaziaException {
    	//TODO: a implementação seria bastante similar ao checaTipo de ID (basta estar declarado no ambiente)
        //return id.getTipo(ambiente).equals(ambiente.getTipoEntrada());
    	return true;
    }

}
